импликация

  • 91Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …

    Википедия

  • 92Климзо — Климзо, Борис Николаевич Климзо, Борис Николаевич Дата рождения: 1930 год(1930) Место рождения: Г …

    Википедия

  • 93Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …

    Википедия

  • 94ЛЬЮИС Кларенс —     ЛЬЮИС (Lewis) Кларенс Ирвинг (12 апреля 1883, Стонем, Массачусетс 3 февраля 1964, Менло Парк, Калифорния) американский логик и философ, преподавал в Тарвардском и Стенфордском университетах, доктор философии (1910); член Американской академии …

    Философская энциклопедия

  • 95МНОГОЗНАЧНЫЕ ЛОГИКИ —     МНОГОЗНАЧНЫЕ ЛОГИКИ обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям “истина” и “ложь” добавляются и другие (промежуточные) значения. Этот факт указывает на то …

    Философская энциклопедия

  • 96ХРИСИПП —     ХРИСИПП (Χρύσιππος) из Сол (ок. 278 ок. 205 н. э.), третий схоларх Стой и крупнейший представитель стоицизма, ученик и преемник Клеанфа.     Жизнь. Единственное определенное хронологическое свидетельство «Хроники» Аполлодора (SVF II 1 = D. L …

    Античная философия

  • 97неклассические логики —         НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.         Идеи для построения Н. л. были высказаны еще до …

    Энциклопедия эпистемологии и философии науки

  • 98релевантная логика —         РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …

    Энциклопедия эпистемологии и философии науки

  • 99ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …

    Современный философский словарь

  • 100обратное утверждение — обратная импликация инверсия — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы обратная импликацияинверсия EN converse …

    Справочник технического переводчика